program correctness proof
[计] 程序正确性证明
热门查询
- crone n. 干瘪老丑婆；老母羊 n. (Crone)人名；(英)克龙；(意、德、西、瑞典)克罗内
- macrocosmic 宏观
- dungeon n. 地牢，土牢
- reincarnated adj. 转世的 天蚕变（香港武侠电视剧）
- rehydration n. 再水化；再水合
- stereoscopic adj. 立体的；体视镜的；有立体感的
- rand n. 兰特（南非的货币单位）；边缘；垫皮，衬底（鞋后根与鞋底中间的） n. (Rand)人名；(英、德、俄、瑞典)兰德
- repack n. 重新打包；改装 vt. 重新打包；重新装入 vi. 重新打包；重新装入
- all n. 全部 adj. 全部的 adv. 全然地；越发 pron. 全部 n. (All)人名；(瑞典)阿尔；(英)奥尔
- manuel n. 曼纽尔（男子名）；曼努埃尔二世（拜占庭皇帝约翰五世的次子）
- zesty adj. 兴致很高的 vt. 给…增兴趣
- overripe adj. 过熟的；衰萎的；颓废的
- reconnoitre n. 侦察；踏勘 vt. 侦察；勘探 vi. 侦察；勘探
- equivalency n. 等价；相等（等于equivalence）
- building site n. 建筑工地 [网络] 建筑地盘；建筑用地；建筑点
- bala n. 巴拉（姓氏）
- scleroderma n. [内科] 硬皮病
- problems n. [数] 问题；难题（problem的复数）
- Fowey n. 安东尼·休伊什
- bender n. 饮酒作乐；扭弯物体的人；六便士银币 n. (Bender)人名；(英)本德；(西、罗、土、德、塞、波、荷、芬、瑞典、匈)本德尔
考试词汇表
- critical anode voltage
- critical bearing point
- critical buckling load
- critical care medicine
- critical clearing time
- critical closing speed
- critical communication
- critical concentration
- critical configuration
- critical contact angle
- critical control point
- critical cooling speed
- critical cross-section
- critical damping ratio
- critical damping value
- critical depth control
- critical design review
- critical docking draft
- critical erosion slope
- critical error handler
